minor improvement to "mynewdom" to set the hostname
HI=`echo $ADDR | sed -e 's/\([0-9]\+\.[0-9]\+\.[0-9]\+\)\.[0-9]\+/\1/'`
NEWADDR=$HI.$[LO+DOM]
-echo New IP address : ${NEWADDR}
+NEWNAME=$NEWADDR
+LOOKUP=`host $NEWADDR`
+echo $LOOKUP | grep 'domain name pointer' && NEWNAME=`echo $LOOKUP | sed -e 's!.*domain name pointer \([^ ]\+\).$!\1!'`
+echo New IP address : ${NEWADDR} name : ${NEWNAME}
CMDLINE=`cat /proc/cmdline`
case $CMDLINE in
LOAD_BASE := 0x00100000
CFLAGS := -nostdinc -fno-builtin -O3 -Wall -DMONITOR_BASE=$(MONITOR_BASE)
CFLAGS += -fomit-frame-pointer -I$(BASEDIR)/include -D__KERNEL__ -DNDEBUG
+#CFLAGS += -fomit-frame-pointer -I$(BASEDIR)/include -D__KERNEL__
LDFLAGS := -T xeno.lds -N